Plans:
  @blockworld( enter( 8, 8, red ), L );@blockworld( west(), L );@blockworld( west(), L )

PR-rules:
  @blockworld( west() , L ); REST <- true |
  {
    @blockworld( east() , L ); REST
  }

  @blockworld( east() , L ); REST <- true |
  {
    @blockworld( west() , L ); REST
  }

